65497ff7c9ee6be26f5735f35bbdeb6319afda1a,k3.eclipse/fr.inria.diverse.k3.ui/src/fr/inria/diverse/k3/ui/tools/classpath/ManageClasspathPlugin.java,ManageClasspathPlugin,setClasspath,#IProject#IProgressMonitor#,23

Before Change


			IClasspathEntry[] newClassPath = new IClasspathEntry[4];
			IPackageFragmentRoot root = javaProject.getPackageFragmentRoot(sourceFolder);

			newClassPath[0] = JavaCore.newSourceEntry(root.getPath());
			newClassPath[1] = JavaCore.newContainerEntry(new Path("org.eclipse.jdt.launching.JRE_CONTAINER"));
			newClassPath[2] = JavaCore.newContainerEntry(new Path("org.eclipse.pde.core.requiredPlugins"));
			if (useSLE)
				newClassPath[3] = JavaCore.newSourceEntry(javaProject.getPackageFragmentRoot(project.getFolder("src-gen")).getPath());

After Change


			
			IPackageFragmentRoot root = javaProject.getPackageFragmentRoot(sourceFolder);

			newClassPathArrayList.add( JavaCore.newSourceEntry(root.getPath()));
			newClassPathArrayList.add(JavaCore.newContainerEntry(new Path("org.eclipse.jdt.launching.JRE_CONTAINER")));
			newClassPathArrayList.add(JavaCore.newContainerEntry(new Path("org.eclipse.pde.core.requiredPlugins")));
			if (useSLE)
				newClassPathArrayList.add(JavaCore.newSourceEntry(javaProject.getPackageFragmentRoot(project.getFolder("src-gen")).getPath()));